You have chosen Hobbes, Mathematical logic and theory of types and Mathematical logic and theory of types.
All three must be different; choose another text.